<html>
<head><meta charset="utf-8"><title>I-prioritize #72115 ICE: The type checker should prevent rea · t-compiler/wg-prioritization · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/index.html">t-compiler/wg-prioritization</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2372115.20ICE.3A.20The.20type.20checker.20should.20prevent.20rea.html">I-prioritize #72115 ICE: The type checker should prevent rea</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="197176225"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2372115%20ICE%3A%20The%20type%20checker%20should%20prevent%20rea/near/197176225" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2372115.20ICE.3A.20The.20type.20checker.20should.20prevent.20rea.html#197176225">(May 11 2020 at 17:11)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="2403">@WG-prioritization</span> issue <a href="https://github.com/rust-lang/rust/issues/72115">#72115</a> has been requested for prioritization.</p>



<a name="197176564"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2372115%20ICE%3A%20The%20type%20checker%20should%20prevent%20rea/near/197176564" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2372115.20ICE.3A.20The.20type.20checker.20should.20prevent.20rea.html#197176564">(May 11 2020 at 17:14)</a>:</h4>
<p><code>P-medium</code> I'd say:</p>
<ul>
<li>Not a stable-to-beta or stable-to-nightly regression</li>
<li>Error message emitted before ICE is accurate </li>
<li>No safety implications </li>
<li>Code is "obviously" wrong</li>
</ul>



<a name="197176905"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2372115%20ICE%3A%20The%20type%20checker%20should%20prevent%20rea/near/197176905" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2372115.20ICE.3A.20The.20type.20checker.20should.20prevent.20rea.html#197176905">(May 11 2020 at 17:17)</a>:</h4>
<blockquote>
<p>Error message emitted before ICE is accurate</p>
</blockquote>
<p>uff, didn't see that <span aria-label="sweat smile" class="emoji emoji-1f605" role="img" title="sweat smile">:sweat_smile:</span> I still think it should be <code>P-high</code>. While this is does not cause UB directly, it seems to have evaded at least one internal safety check which kind of makes me worried.</p>



<a name="197179886"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2372115%20ICE%3A%20The%20type%20checker%20should%20prevent%20rea/near/197179886" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2372115.20ICE.3A.20The.20type.20checker.20should.20prevent.20rea.html#197179886">(May 11 2020 at 17:40)</a>:</h4>
<p>If it happens in a failing path, according to our definitions for the priority levels, this should be <code>P-low</code></p>



<a name="197180045"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2372115%20ICE%3A%20The%20type%20checker%20should%20prevent%20rea/near/197180045" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2372115.20ICE.3A.20The.20type.20checker.20should.20prevent.20rea.html#197180045">(May 11 2020 at 17:41)</a>:</h4>
<p>I'm fine with <code>P-low</code></p>



<a name="197180154"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2372115%20ICE%3A%20The%20type%20checker%20should%20prevent%20rea/near/197180154" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2372115.20ICE.3A.20The.20type.20checker.20should.20prevent.20rea.html#197180154">(May 11 2020 at 17:42)</a>:</h4>
<blockquote>
<p>While this is does not cause UB directly, it seems to have evaded at least one internal safety check which kind of makes me worried.</p>
</blockquote>
<p>Given this is an ICE issue I don't think we should be worried by soundness issues</p>



<a name="197199839"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2372115%20ICE%3A%20The%20type%20checker%20should%20prevent%20rea/near/197199839" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2372115.20ICE.3A.20The.20type.20checker.20should.20prevent.20rea.html#197199839">(May 11 2020 at 20:23)</a>:</h4>
<p><span class="user-mention silent" data-user-id="125250">Wesley Wiser</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/I-prioritize.20.2372115.20ICE.3A.20The.20type.20checker.20should.20prevent.20rea/near/197176564">said</a>:</p>
<blockquote>
<p><code>P-medium</code> I'd say:</p>
<ul>
<li>Not a stable-to-beta or stable-to-nightly regression</li>
<li>Error message emitted before ICE is accurate </li>
<li>No safety implications </li>
<li>Code is "obviously" wrong</li>
</ul>
</blockquote>
<p>My first reaction was also <code>P-medium</code></p>



<a name="197199873"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2372115%20ICE%3A%20The%20type%20checker%20should%20prevent%20rea/near/197199873" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2372115.20ICE.3A.20The.20type.20checker.20should.20prevent.20rea.html#197199873">(May 11 2020 at 20:23)</a>:</h4>
<p>I wonder if something that ICEs should ever be <code>P-low</code></p>



<a name="197221744"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2372115%20ICE%3A%20The%20type%20checker%20should%20prevent%20rea/near/197221744" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2372115.20ICE.3A.20The.20type.20checker.20should.20prevent.20rea.html#197221744">(May 12 2020 at 00:15)</a>:</h4>
<p>yeh P-low is okay</p>



<a name="197224072"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2372115%20ICE%3A%20The%20type%20checker%20should%20prevent%20rea/near/197224072" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2372115.20ICE.3A.20The.20type.20checker.20should.20prevent.20rea.html#197224072">(May 12 2020 at 00:52)</a>:</h4>
<p>Issue <a href="https://github.com/rust-lang/rust/issues/72115">#72115</a>'s prioritization request has been removed.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>